
;; Function main_task (main_task, funcdef_no=0, decl_uid=4960, cgraph_uid=0)

main_task (void * arg)
{
  unsigned int num;
  int D.4971;

  num = 1;
  D.4971 = add (num);
  num = (unsigned int) D.4971;
  printf ("1 incrementado es %u \n", num);
  return;
}



;; Function incrementar (incrementar, funcdef_no=1, decl_uid=4958, cgraph_uid=1)

incrementar (unsigned int num)
{
  unsigned int D.4972;

  D.4972 = num + 1;
  goto <D.4973>;
  <D.4973>:
  return D.4972;
}


